substitution and elimination